]> AND Private Git Repository - cours-maths-dis.git/blob - partiels/S1_0905/partiel_Mathsdis_S1_juin 2009.log
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
correction Algboole13
[cours-maths-dis.git] / partiels / S1_0905 / partiel_Mathsdis_S1_juin 2009.log
1 This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=latex 2008.11.17)  2 JUN 2009 08:33
2 entering extended mode
3  %&-line parsing enabled.
4 **"partiel_Mathsdis_S1_juin 2009.tex"
5 (./partiel_Mathsdis_S1_juin 2009.tex
6 LaTeX2e <2005/12/01>
7 Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
8 yphenation, basque, french, loaded.
9 (/usr/share/texmf-texlive/tex/latex/base/article.cls
10 Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
11 (/usr/share/texmf-texlive/tex/latex/base/size12.clo
12 File: size12.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
13 )
14 \c@part=\count79
15 \c@section=\count80
16 \c@subsection=\count81
17 \c@subsubsection=\count82
18 \c@paragraph=\count83
19 \c@subparagraph=\count84
20 \c@figure=\count85
21 \c@table=\count86
22 \abovecaptionskip=\skip41
23 \belowcaptionskip=\skip42
24 \bibindent=\dimen102
25 )
26 (/usr/share/texmf-texlive/tex/latex/geometry/geometry.sty
27 Package: geometry 2002/07/08 v3.2 Page Geometry
28
29 (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
30 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
31 \KV@toks@=\toks14
32 )
33 \Gm@cnth=\count87
34 \Gm@cntv=\count88
35 \c@Gm@tempcnt=\count89
36 \Gm@bindingoffset=\dimen103
37 \Gm@wd@mp=\dimen104
38 \Gm@odd@mp=\dimen105
39 \Gm@even@mp=\dimen106
40 \Gm@dimlist=\toks15
41 )
42 (/usr/share/texmf-texlive/tex/generic/babel/babel.sty
43 Package: babel 2005/11/23 v3.8h The Babel package
44
45 (/usr/share/texmf-texlive/tex/generic/babel/frenchb.ldf
46 Language: french 2005/02/06 v1.6g French support from the babel system
47
48 (/usr/share/texmf-texlive/tex/generic/babel/babel.def
49 File: babel.def 2005/11/23 v3.8h Babel common definitions
50 \babel@savecnt=\count90
51 \U@D=\dimen107
52 )
53 Package babel Info: Making : an active character on input line 219.
54 Package babel Info: Making ; an active character on input line 220.
55 Package babel Info: Making ! an active character on input line 221.
56 Package babel Info: Making ? an active character on input line 222.
57 LaTeX Font Info:    Redeclaring font encoding T1 on input line 299.
58 \parindentFFN=\dimen108
59 \std@mcc=\count91
60 \dec@mcc=\count92
61
62 *************************************
63 * Local config file frenchb.cfg used
64 *
65 (/usr/share/texmf-texlive/tex/generic/babel/frenchb.cfg)))
66 (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
67 Package: inputenc 2006/05/05 v1.1b Input encoding file
68 \inpenc@prehook=\toks16
69 \inpenc@posthook=\toks17
70
71 (/usr/share/texmf-texlive/tex/latex/base/utf8.def
72 File: utf8.def 2006/03/30 v1.1i UTF-8 support for inputenc
73 Now handling font encoding OML ...
74 ... no UTF-8 mapping file for font encoding OML
75 Now handling font encoding T1 ...
76 ... processing UTF-8 mapping file for font encodingT1
77
78 (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu
79 File: t1enc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
80    defining Unicode char U+00A1 (decimal 161)
81    defining Unicode char U+00A3 (decimal 163)
82    defining Unicode char U+00AB (decimal 171)
83    defining Unicode char U+00BB (decimal 187)
84    defining Unicode char U+00BF (decimal 191)
85    defining Unicode char U+00C0 (decimal 192)
86    defining Unicode char U+00C1 (decimal 193)
87    defining Unicode char U+00C2 (decimal 194)
88    defining Unicode char U+00C3 (decimal 195)
89    defining Unicode char U+00C4 (decimal 196)
90    defining Unicode char U+00C5 (decimal 197)
91    defining Unicode char U+00C6 (decimal 198)
92    defining Unicode char U+00C7 (decimal 199)
93    defining Unicode char U+00C8 (decimal 200)
94    defining Unicode char U+00C9 (decimal 201)
95    defining Unicode char U+00CA (decimal 202)
96    defining Unicode char U+00CB (decimal 203)
97    defining Unicode char U+00CC (decimal 204)
98    defining Unicode char U+00CD (decimal 205)
99    defining Unicode char U+00CE (decimal 206)
100    defining Unicode char U+00CF (decimal 207)
101    defining Unicode char U+00D0 (decimal 208)
102    defining Unicode char U+00D1 (decimal 209)
103    defining Unicode char U+00D2 (decimal 210)
104    defining Unicode char U+00D3 (decimal 211)
105    defining Unicode char U+00D4 (decimal 212)
106    defining Unicode char U+00D5 (decimal 213)
107    defining Unicode char U+00D6 (decimal 214)
108    defining Unicode char U+00D8 (decimal 216)
109    defining Unicode char U+00D9 (decimal 217)
110    defining Unicode char U+00DA (decimal 218)
111    defining Unicode char U+00DB (decimal 219)
112    defining Unicode char U+00DC (decimal 220)
113    defining Unicode char U+00DD (decimal 221)
114    defining Unicode char U+00DE (decimal 222)
115    defining Unicode char U+00DF (decimal 223)
116    defining Unicode char U+00E0 (decimal 224)
117    defining Unicode char U+00E1 (decimal 225)
118    defining Unicode char U+00E2 (decimal 226)
119    defining Unicode char U+00E3 (decimal 227)
120    defining Unicode char U+00E4 (decimal 228)
121    defining Unicode char U+00E5 (decimal 229)
122    defining Unicode char U+00E6 (decimal 230)
123    defining Unicode char U+00E7 (decimal 231)
124    defining Unicode char U+00E8 (decimal 232)
125    defining Unicode char U+00E9 (decimal 233)
126    defining Unicode char U+00EA (decimal 234)
127    defining Unicode char U+00EB (decimal 235)
128    defining Unicode char U+00EC (decimal 236)
129    defining Unicode char U+00ED (decimal 237)
130    defining Unicode char U+00EE (decimal 238)
131    defining Unicode char U+00EF (decimal 239)
132    defining Unicode char U+00F0 (decimal 240)
133    defining Unicode char U+00F1 (decimal 241)
134    defining Unicode char U+00F2 (decimal 242)
135    defining Unicode char U+00F3 (decimal 243)
136    defining Unicode char U+00F4 (decimal 244)
137    defining Unicode char U+00F5 (decimal 245)
138    defining Unicode char U+00F6 (decimal 246)
139    defining Unicode char U+00F8 (decimal 248)
140    defining Unicode char U+00F9 (decimal 249)
141    defining Unicode char U+00FA (decimal 250)
142    defining Unicode char U+00FB (decimal 251)
143    defining Unicode char U+00FC (decimal 252)
144    defining Unicode char U+00FD (decimal 253)
145    defining Unicode char U+00FE (decimal 254)
146    defining Unicode char U+00FF (decimal 255)
147    defining Unicode char U+0102 (decimal 258)
148    defining Unicode char U+0103 (decimal 259)
149    defining Unicode char U+0104 (decimal 260)
150    defining Unicode char U+0105 (decimal 261)
151    defining Unicode char U+0106 (decimal 262)
152    defining Unicode char U+0107 (decimal 263)
153    defining Unicode char U+010C (decimal 268)
154    defining Unicode char U+010D (decimal 269)
155    defining Unicode char U+010E (decimal 270)
156    defining Unicode char U+010F (decimal 271)
157    defining Unicode char U+0110 (decimal 272)
158    defining Unicode char U+0111 (decimal 273)
159    defining Unicode char U+0118 (decimal 280)
160    defining Unicode char U+0119 (decimal 281)
161    defining Unicode char U+011A (decimal 282)
162    defining Unicode char U+011B (decimal 283)
163    defining Unicode char U+011E (decimal 286)
164    defining Unicode char U+011F (decimal 287)
165    defining Unicode char U+0130 (decimal 304)
166    defining Unicode char U+0131 (decimal 305)
167    defining Unicode char U+0132 (decimal 306)
168    defining Unicode char U+0133 (decimal 307)
169    defining Unicode char U+0139 (decimal 313)
170    defining Unicode char U+013A (decimal 314)
171    defining Unicode char U+013D (decimal 317)
172    defining Unicode char U+013E (decimal 318)
173    defining Unicode char U+0141 (decimal 321)
174    defining Unicode char U+0142 (decimal 322)
175    defining Unicode char U+0143 (decimal 323)
176    defining Unicode char U+0144 (decimal 324)
177    defining Unicode char U+0147 (decimal 327)
178    defining Unicode char U+0148 (decimal 328)
179    defining Unicode char U+014A (decimal 330)
180    defining Unicode char U+014B (decimal 331)
181    defining Unicode char U+0150 (decimal 336)
182    defining Unicode char U+0151 (decimal 337)
183    defining Unicode char U+0152 (decimal 338)
184    defining Unicode char U+0153 (decimal 339)
185    defining Unicode char U+0154 (decimal 340)
186    defining Unicode char U+0155 (decimal 341)
187    defining Unicode char U+0158 (decimal 344)
188    defining Unicode char U+0159 (decimal 345)
189    defining Unicode char U+015A (decimal 346)
190    defining Unicode char U+015B (decimal 347)
191    defining Unicode char U+015E (decimal 350)
192    defining Unicode char U+015F (decimal 351)
193    defining Unicode char U+0160 (decimal 352)
194    defining Unicode char U+0161 (decimal 353)
195    defining Unicode char U+0162 (decimal 354)
196    defining Unicode char U+0163 (decimal 355)
197    defining Unicode char U+0164 (decimal 356)
198    defining Unicode char U+0165 (decimal 357)
199    defining Unicode char U+016E (decimal 366)
200    defining Unicode char U+016F (decimal 367)
201    defining Unicode char U+0170 (decimal 368)
202    defining Unicode char U+0171 (decimal 369)
203    defining Unicode char U+0178 (decimal 376)
204    defining Unicode char U+0179 (decimal 377)
205    defining Unicode char U+017A (decimal 378)
206    defining Unicode char U+017B (decimal 379)
207    defining Unicode char U+017C (decimal 380)
208    defining Unicode char U+017D (decimal 381)
209    defining Unicode char U+017E (decimal 382)
210    defining Unicode char U+200C (decimal 8204)
211    defining Unicode char U+2013 (decimal 8211)
212    defining Unicode char U+2014 (decimal 8212)
213    defining Unicode char U+2018 (decimal 8216)
214    defining Unicode char U+2019 (decimal 8217)
215    defining Unicode char U+201A (decimal 8218)
216    defining Unicode char U+201C (decimal 8220)
217    defining Unicode char U+201D (decimal 8221)
218    defining Unicode char U+201E (decimal 8222)
219    defining Unicode char U+2030 (decimal 8240)
220    defining Unicode char U+2031 (decimal 8241)
221    defining Unicode char U+2039 (decimal 8249)
222    defining Unicode char U+203A (decimal 8250)
223    defining Unicode char U+2423 (decimal 9251)
224 )
225 Now handling font encoding OT1 ...
226 ... processing UTF-8 mapping file for font encodingOT1
227
228 (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu
229 File: ot1enc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
230    defining Unicode char U+00A1 (decimal 161)
231    defining Unicode char U+00A3 (decimal 163)
232    defining Unicode char U+00B8 (decimal 184)
233    defining Unicode char U+00BF (decimal 191)
234    defining Unicode char U+00C5 (decimal 197)
235    defining Unicode char U+00C6 (decimal 198)
236    defining Unicode char U+00D8 (decimal 216)
237    defining Unicode char U+00DF (decimal 223)
238    defining Unicode char U+00E6 (decimal 230)
239    defining Unicode char U+00EC (decimal 236)
240    defining Unicode char U+00ED (decimal 237)
241    defining Unicode char U+00EE (decimal 238)
242    defining Unicode char U+00EF (decimal 239)
243    defining Unicode char U+00F8 (decimal 248)
244    defining Unicode char U+0131 (decimal 305)
245    defining Unicode char U+0141 (decimal 321)
246    defining Unicode char U+0142 (decimal 322)
247    defining Unicode char U+0152 (decimal 338)
248    defining Unicode char U+0153 (decimal 339)
249    defining Unicode char U+2013 (decimal 8211)
250    defining Unicode char U+2014 (decimal 8212)
251    defining Unicode char U+2018 (decimal 8216)
252    defining Unicode char U+2019 (decimal 8217)
253    defining Unicode char U+201C (decimal 8220)
254    defining Unicode char U+201D (decimal 8221)
255 )
256 Now handling font encoding OMS ...
257 ... processing UTF-8 mapping file for font encodingOMS
258
259 (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu
260 File: omsenc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
261    defining Unicode char U+00A7 (decimal 167)
262    defining Unicode char U+00B6 (decimal 182)
263    defining Unicode char U+00B7 (decimal 183)
264    defining Unicode char U+2020 (decimal 8224)
265    defining Unicode char U+2021 (decimal 8225)
266    defining Unicode char U+2022 (decimal 8226)
267 )
268 Now handling font encoding OMX ...
269 ... no UTF-8 mapping file for font encoding OMX
270 Now handling font encoding U ...
271 ... no UTF-8 mapping file for font encoding U
272    defining Unicode char U+00A9 (decimal 169)
273    defining Unicode char U+00AA (decimal 170)
274    defining Unicode char U+00AE (decimal 174)
275    defining Unicode char U+00BA (decimal 186)
276    defining Unicode char U+02C6 (decimal 710)
277    defining Unicode char U+02DC (decimal 732)
278    defining Unicode char U+200C (decimal 8204)
279    defining Unicode char U+2026 (decimal 8230)
280    defining Unicode char U+2122 (decimal 8482)
281    defining Unicode char U+2423 (decimal 9251)
282 ))
283 (/usr/share/texmf-texlive/tex/latex/ntgclass/a4.sty
284 Package: a4 2004/04/15 v1.2g A4 based page layout
285 )
286 (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
287 Package: amsmath 2000/07/18 v2.13 AMS math features
288 \@mathmargin=\skip43
289
290 For additional information on amsmath, use the `?' option.
291 (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
292 Package: amstext 2000/06/29 v2.01
293
294 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty
295 File: amsgen.sty 1999/11/30 v2.0
296 \@emptytoks=\toks18
297 \ex@=\dimen109
298 ))
299 (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty
300 Package: amsbsy 1999/11/29 v1.2d
301 \pmbraise@=\dimen110
302 )
303 (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty
304 Package: amsopn 1999/12/14 v2.01 operator names
305 )
306 \inf@bad=\count93
307 LaTeX Info: Redefining \frac on input line 211.
308 \uproot@=\count94
309 \leftroot@=\count95
310 LaTeX Info: Redefining \overline on input line 307.
311 \classnum@=\count96
312 \DOTSCASE@=\count97
313 LaTeX Info: Redefining \ldots on input line 379.
314 LaTeX Info: Redefining \dots on input line 382.
315 LaTeX Info: Redefining \cdots on input line 467.
316 \Mathstrutbox@=\box26
317 \strutbox@=\box27
318 \big@size=\dimen111
319 LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
320 LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
321 \macc@depth=\count98
322 \c@MaxMatrixCols=\count99
323 \dotsspace@=\muskip10
324 \c@parentequation=\count100
325 \dspbrk@lvl=\count101
326 \tag@help=\toks19
327 \row@=\count102
328 \column@=\count103
329 \maxfields@=\count104
330 \andhelp@=\toks20
331 \eqnshift@=\dimen112
332 \alignsep@=\dimen113
333 \tagshift@=\dimen114
334 \tagwidth@=\dimen115
335 \totwidth@=\dimen116
336 \lineht@=\dimen117
337 \@envbody=\toks21
338 \multlinegap=\skip44
339 \multlinetaggap=\skip45
340 \mathdisplay@stack=\toks22
341 LaTeX Info: Redefining \[ on input line 2666.
342 LaTeX Info: Redefining \] on input line 2667.
343 )
344 (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty
345 Package: amsfonts 2001/10/25 v2.2f
346 \symAMSa=\mathgroup4
347 \symAMSb=\mathgroup5
348 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
349 (Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
350 )
351 (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
352 Package: amssymb 2002/01/22 v2.2d
353 )
354 (/usr/share/texmf-texlive/tex/latex/ltxmisc/framed.sty
355 Package: framed 2003/07/21 v 0.8a: framed or shaded text with page breaks
356 \FrameRule=\dimen118
357 \FrameSep=\dimen119
358 )
359 (/usr/share/texmf-texlive/tex/latex/doublestroke/dsfont.sty
360 Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts
361 )
362 (/usr/share/texmf-texlive/tex/latex/ntheorem/ntheorem.sty
363 Style `ntheorem', Version 1.25 <2005/07/07>
364 Package: ntheorem 2005/07/07 1.25
365 \theorem@style=\toks23
366 \theorem@@style=\toks24
367 \theorembodyfont=\toks25
368 \theoremnumbering=\toks26
369 \theorempreskipamount=\skip46
370 \theorempostskipamount=\skip47
371 \theoremindent=\dimen120
372 \theorem@indent=\dimen121
373 \theoremheaderfont=\toks27
374 \theoremseparator=\toks28
375 \theoremprework=\toks29
376 \theorempostwork=\toks30
377 \theoremsymbol=\toks31
378 \qedsymbol=\toks32
379 \theoremkeyword=\toks33
380 \qedsymbol=\toks34
381 \thm@topsepadd=\skip48
382 Package ntheorem Info: Option `thmmarks' loaded on input line 1029.
383 \c@endNonectr=\count105
384 \c@currNonectr=\count106
385 \mysavskip=\skip49
386 Package ntheorem Info: Option `thref' loaded on input line 1029.
387 \mysavskip=\skip50
388 Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li
389 ne 1029.
390 Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input
391  line 1029.
392 \thm@amstmpdepth=\dimen122
393 \shadecolor=\toks35
394 ) (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
395 Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
396
397 (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
398 Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)
399
400 (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty
401 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
402 )
403 (/etc/texmf/tex/latex/config/graphics.cfg
404 File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
405 )
406 Package graphics Info: Driver file: dvips.def on input line 90.
407
408 (/usr/share/texmf-texlive/tex/latex/graphics/dvips.def
409 File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
410 ))
411 \Gin@req@height=\dimen123
412 \Gin@req@width=\dimen124
413 )
414 (/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty
415 Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)
416 \epsfxsize=\dimen125
417 \epsfysize=\dimen126
418 )
419 (/usr/share/texmf-texlive/tex/latex/tools/calc.sty
420 Package: calc 2005/08/06 v4.2 Infix arithmetic (KKT,FJ)
421 \calc@Acount=\count107
422 \calc@Bcount=\count108
423 \calc@Adimen=\dimen127
424 \calc@Bdimen=\dimen128
425 \calc@Askip=\skip51
426 \calc@Bskip=\skip52
427 LaTeX Info: Redefining \setlength on input line 75.
428 LaTeX Info: Redefining \addtolength on input line 76.
429 \calc@Ccount=\count109
430 \calc@Cskip=\skip53
431 )
432 (/usr/share/texmf-texlive/tex/latex/ltxmisc/tabls.sty
433 \tablinesep=\dimen129
434 \arraylinesep=\dimen130
435 \extrarulesep=\dimen131
436 \@arstdepth=\dimen132
437 \@arstheight=\dimen133
438 \@skip@bove=\dimen134
439 )
440 (/usr/share/texmf-texlive/tex/latex/slashbox/slashbox.sty
441 slashbox style by K.Yasuoka, May 1993.
442 \@slashboxa=\box28
443 \@slashboxb=\box29
444 \@slashboxc=\box30
445 \@slashboxwd=\count110
446 \@slashboxht=\count111
447 \@slashsepl=\dimen135
448 \@slashsepr=\dimen136
449 ) (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty
450 Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) 
451 )
452 (/usr/share/texmf-texlive/tex/latex/tools/tabularx.sty
453 Package: tabularx 1999/01/07 v2.07 `tabularx' package (DPC)
454
455 (/usr/share/texmf-texlive/tex/latex/tools/array.sty
456 Package: array 2005/08/23 v2.4b Tabular extension package (FMi)
457 \col@sep=\dimen137
458 \extrarowheight=\dimen138
459 \NC@list=\toks36
460 \extratabsurround=\skip54
461 \backup@length=\skip55
462
463
464 LaTeX Warning: Command \@xhline  has changed.
465                Check if current package is valid.
466
467 )
468 \TX@col@width=\dimen139
469 \TX@old@table=\dimen140
470 \TX@old@col=\dimen141
471 \TX@target=\dimen142
472 \TX@delta=\dimen143
473 \TX@cols=\count112
474 \TX@ftn=\toks37
475 ) (/usr/share/texmf-texlive/tex/latex/base/textcomp.sty
476 Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
477 Package textcomp Info: Sub-encoding information:
478 (textcomp)               5 = only ISO-Adobe without \textcurrency
479 (textcomp)               4 = 5 + \texteuro
480 (textcomp)               3 = 4 + \textohm
481 (textcomp)               2 = 3 + \textestimated + \textcurrency
482 (textcomp)               1 = TS1 - \textcircled - \t
483 (textcomp)               0 = TS1 (full)
484 (textcomp)             Font families with sub-encoding setting implement
485 (textcomp)             only a restricted character set as indicated.
486 (textcomp)             Family '?' is the default used for unknown fonts.
487 (textcomp)             See the documentation for details.
488 Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71.
489
490 (/usr/share/texmf-texlive/tex/latex/base/ts1enc.def
491 File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
492 Now handling font encoding TS1 ...
493 ... processing UTF-8 mapping file for font encoding TS1
494
495 (/usr/share/texmf-texlive/tex/latex/base/ts1enc.dfu
496 File: ts1enc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
497    defining Unicode char U+00A2 (decimal 162)
498    defining Unicode char U+00A3 (decimal 163)
499    defining Unicode char U+00A4 (decimal 164)
500    defining Unicode char U+00A5 (decimal 165)
501    defining Unicode char U+00A6 (decimal 166)
502    defining Unicode char U+00A7 (decimal 167)
503    defining Unicode char U+00A8 (decimal 168)
504    defining Unicode char U+00A9 (decimal 169)
505    defining Unicode char U+00AA (decimal 170)
506    defining Unicode char U+00AC (decimal 172)
507    defining Unicode char U+00AE (decimal 174)
508    defining Unicode char U+00AF (decimal 175)
509    defining Unicode char U+00B0 (decimal 176)
510    defining Unicode char U+00B1 (decimal 177)
511    defining Unicode char U+00B2 (decimal 178)
512    defining Unicode char U+00B3 (decimal 179)
513    defining Unicode char U+00B4 (decimal 180)
514    defining Unicode char U+00B5 (decimal 181)
515    defining Unicode char U+00B6 (decimal 182)
516    defining Unicode char U+00B7 (decimal 183)
517    defining Unicode char U+00B9 (decimal 185)
518    defining Unicode char U+00BA (decimal 186)
519    defining Unicode char U+00BC (decimal 188)
520    defining Unicode char U+00BD (decimal 189)
521    defining Unicode char U+00BE (decimal 190)
522    defining Unicode char U+00D7 (decimal 215)
523    defining Unicode char U+00F7 (decimal 247)
524    defining Unicode char U+0192 (decimal 402)
525    defining Unicode char U+02C7 (decimal 711)
526    defining Unicode char U+02D8 (decimal 728)
527    defining Unicode char U+02DD (decimal 733)
528    defining Unicode char U+0E3F (decimal 3647)
529    defining Unicode char U+2016 (decimal 8214)
530    defining Unicode char U+2020 (decimal 8224)
531    defining Unicode char U+2021 (decimal 8225)
532    defining Unicode char U+2022 (decimal 8226)
533    defining Unicode char U+2030 (decimal 8240)
534    defining Unicode char U+2031 (decimal 8241)
535    defining Unicode char U+203B (decimal 8251)
536    defining Unicode char U+203D (decimal 8253)
537    defining Unicode char U+2044 (decimal 8260)
538    defining Unicode char U+204E (decimal 8270)
539    defining Unicode char U+2052 (decimal 8274)
540    defining Unicode char U+20A1 (decimal 8353)
541    defining Unicode char U+20A4 (decimal 8356)
542    defining Unicode char U+20A6 (decimal 8358)
543    defining Unicode char U+20A9 (decimal 8361)
544    defining Unicode char U+20AB (decimal 8363)
545    defining Unicode char U+20AC (decimal 8364)
546    defining Unicode char U+20B1 (decimal 8369)
547    defining Unicode char U+2103 (decimal 8451)
548    defining Unicode char U+2116 (decimal 8470)
549    defining Unicode char U+2117 (decimal 8471)
550    defining Unicode char U+211E (decimal 8478)
551    defining Unicode char U+2120 (decimal 8480)
552    defining Unicode char U+2122 (decimal 8482)
553    defining Unicode char U+2126 (decimal 8486)
554    defining Unicode char U+2127 (decimal 8487)
555    defining Unicode char U+212E (decimal 8494)
556    defining Unicode char U+2190 (decimal 8592)
557    defining Unicode char U+2191 (decimal 8593)
558    defining Unicode char U+2192 (decimal 8594)
559    defining Unicode char U+2193 (decimal 8595)
560    defining Unicode char U+2329 (decimal 9001)
561    defining Unicode char U+232A (decimal 9002)
562    defining Unicode char U+2422 (decimal 9250)
563    defining Unicode char U+25E6 (decimal 9702)
564    defining Unicode char U+25EF (decimal 9711)
565    defining Unicode char U+266A (decimal 9834)
566 ))
567 LaTeX Info: Redefining \oldstylenums on input line 266.
568 Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281.
569 Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282.
570 Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283.
571 Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284.
572 Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285.
573 Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286.
574 Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287.
575 Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288.
576 Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289.
577 Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290.
578 Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291.
579 Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292.
580 Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293.
581 Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294.
582 Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295.
583 Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296.
584 Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297.
585 Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298.
586 Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299.
587 Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300.
588 Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301.
589 Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302.
590 Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303.
591 Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304.
592
593 Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305.
594 Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306.
595 Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307.
596 Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308.
597 Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309.
598 Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310.
599 Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 311.
600 Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 312.
601 Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 313.
602 Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 314.
603 Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 315.
604 Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 316.
605 Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 317.
606 Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 318.
607 Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 319.
608 Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 320.
609 Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 321.
610 Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 322.
611 Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 323.
612 Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 324.
613 Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 325.
614 Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 326.
615 )
616 (/usr/share/texmf-texlive/tex/latex/pstricks/pst-all.sty
617 Package: pst-all 2006/11/07 the main pstricks tools
618
619 (/usr/share/texmf-texlive/tex/latex/pstricks/pstricks.sty
620 Package: pstricks 2006/08/10 v0.32 LaTeX wrapper for `PSTricks' (RN,HV)
621
622 (/usr/share/texmf-texlive/tex/generic/pstricks/pstricks.tex
623 `PSTricks' v1.15  <2006/12/22> (tvz)
624 \pst@dima=\dimen144
625 \pst@dimb=\dimen145
626 \pst@dimc=\dimen146
627 \pst@dimd=\dimen147
628 \pst@dimg=\dimen148
629 \pst@dimh=\dimen149
630 \pst@hbox=\box31
631 \pst@boxg=\box32
632 \pst@cnta=\count113
633 \pst@cntb=\count114
634 \pst@cntc=\count115
635 \pst@cntd=\count116
636 \pst@cntg=\count117
637 \pst@cnth=\count118
638 \pst@toks=\toks38
639 (/usr/share/texmf-texlive/tex/generic/pstricks/pstricks.con)
640 \psunit=\dimen150
641 \psxunit=\dimen151
642 \psyunit=\dimen152
643 \pslinewidth=\dimen153
644 \pst@customdefs=\toks39
645 \pslinearc=\dimen154
646 \everypsbox=\toks40
647 \psframesep=\dimen155
648 \pslabelsep=\dimen156
649 \psk@shift=\dimen157
650 \pst@shift=\dimen158
651 \theoverlaybox=\box33
652 )
653 File: pstricks.tex 2006/12/22 v1.15 `PSTricks' (tvz)
654
655 (/usr/share/texmf/tex/latex/xcolor/xcolor.sty
656 Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
657
658 (/etc/texmf/tex/latex/config/color.cfg
659 File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
660 )
661 Package xcolor Info: Package option `override' ignored on input line 216.
662 Package xcolor Info: Driver file: dvips.def on input line 225.
663 Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
664 Package xcolor Info: Model `RGB' extended on input line 1353.
665 Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
666 Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
667 Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
668 Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
669 Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
670 Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
671 ))
672 (/usr/share/texmf-texlive/tex/latex/pstricks/pst-plot.sty
673 Package: pst-plot 2004/07/15 package wrapper for pst-plot.tex
674
675 (/usr/share/texmf-texlive/tex/generic/pstricks/pst-plot.tex
676  v97 patch 2, 1999/12/12
677 (/usr/share/texmf-texlive/tex/generic/multido/multido.tex
678  v1.41, 2004/05/18 <tvz>
679 \multido@count=\count119
680 \multidocount=\count120
681 \multido@stuff=\toks41
682 ))
683 File: pst-plot.tex 2004/05/18 1.41 `pst-plot' (tvz)
684 )
685 (/usr/share/texmf-texlive/tex/latex/pstricks/pst-tree.sty
686 Package: pst-tree 2004/07/15 package wrapper for pst-tree.tex
687
688 (/usr/share/texmf-texlive/tex/generic/pstricks/pst-tree.tex
689 (/usr/share/texmf-texlive/tex/generic/pstricks/pst-node.tex
690  v97 patch 11, 2000/11/09
691 \psrow=\count121
692 \pscol=\count122
693 \psmatrixcnt=\count123
694 \psrowsep=\skip56
695 \pscolsep=\skip57
696 )  v97 patch 6, 2004/07/24
697 \pstree@rootbox=\box34
698 \pstree@box=\box35
699 \psnodecnt=\count124
700 \pstreelevel=\count125
701 \pstreecnt=\count126
702 \pstree@cnt=\count127
703 \pstree@stop=\count128
704 )
705 File: pst-tree.tex 2004/07/24 97 patch 6 `pst-tree' (tvz)
706 )
707 (/usr/share/texmf-texlive/tex/latex/pstricks/pst-node.sty
708 Package: pst-node 2006/01/01 package wrapper for pst-node.tex
709
710 (/usr/share/texmf-texlive/tex/generic/pstricks/pst-node.tex
711  v97 patch 11, 2000/11/09)
712 File: pst-node.tex 2000/11/09 97 patch 11 `pst-node' (tvz)
713 )
714 (/usr/share/texmf-texlive/tex/latex/pst-3d/pst-3d.sty
715 Package: pst-3d 2005/09/02 package wrapper for pst-3d.tex (hv)
716
717 (/usr/share/texmf-texlive/tex/generic/pst-3d/pst-3d.tex
718 (/usr/share/texmf-texlive/tex/latex/xkeyval/pst-xkey.tex
719 File: pst-xkey.tex 2005/11/25 v1.6 PSTricks specialization of xkeyval (HA)
720
721 (/usr/share/texmf-texlive/tex/latex/xkeyval/xkeyval.sty
722 Package: xkeyval 2006/11/18 v2.5f package option processing (HA)
723
724 (/usr/share/texmf-texlive/tex/latex/xkeyval/xkeyval.tex
725 \XKV@toks=\toks42
726 \XKV@depth=\count129
727 File: xkeyval.tex 2006/11/18 v2.5f key=value parser (HA)
728 )))
729 `PST-3d' v1.00, 2005/09/03 (tvz))
730 File: pst-3d.tex 2005/09/03 v1.00 `PST-3d' (tvz)
731 )
732 (/usr/share/texmf-texlive/tex/latex/pst-grad/pst-grad.sty
733 Package: pst-grad 2004/07/15 package wrapper for pst-grad.tex (hv)
734
735 (/usr/share/texmf-texlive/tex/generic/pst-grad/pst-grad.tex
736 `pst-plot' v1.05, 2006/11/04 (tvz,dg,hv))
737 File: pst-grad.tex 2006/11/04 1.05 `pst-grad' (tvz)
738 )
739 (/usr/share/texmf-texlive/tex/latex/pst-coil/pst-coil.sty
740 Package: pst-coil 2006/08/11 package wrapper for pst-coil.tex (hv)
741
742 (/usr/share/texmf-texlive/tex/generic/pst-coil/pst-coil.tex  v1.05, 2006/11/04)
743 File: pst-coil.tex 2006/11/05 v1.00 `pst-coil' (tvz)
744 ) (/usr/share/texmf-texlive/tex/latex/pst-text/pst-text.sty
745 Package: pst-text 2006/01/01 package wrapper for pst-text.tex (hv)
746
747 (/usr/share/texmf-texlive/tex/generic/pst-text/pst-text.tex
748  v1.00, 2006/11/05(tvz,hv))
749 File: pst-text.tex 2006/11/05 1.00 `pst-text' (tvz)
750 )
751 (/usr/share/texmf-texlive/tex/latex/pst-eps/pst-eps.sty
752 Package: pst-eps 2005/05/20 package wrapper for pst-eps.tex (hv)
753
754 (/usr/share/texmf-texlive/tex/generic/pst-eps/pst-eps.tex  v1.00, 2006/11/04
755 \pst@epsout=\write3
756 \pst@tempout=\write4
757 )
758 File: pst-eps.tex 2006/11/04 1.00 `pst-eps' (tvz)
759 )
760 (/usr/share/texmf-texlive/tex/latex/pst-fill/pst-fill.sty
761 Package: pst-fill 2005/09/13 package wrapper for pst-fill.tex (hv)
762
763 (/usr/share/texmf-texlive/tex/generic/pst-fill/pst-fill.tex
764 `PST-Fill' v1.00, 2005/09/12 (tvz,dg,hv)
765 \pst@fillbox=\box36
766 )
767 File: pst-fill.tex 2005/09/12 v1.00 `PST-fill' (tvz,dg)
768 )
769 (/usr/share/texmf-texlive/tex/generic/multido/multido.sty
770 Package: multido 2004/05/17 package wrapper for PSTricks `multido.tex', (HV/RN)
771
772 ))
773 (./partiel_Mathsdis_S1_juin 2009.aux)
774 \openout1 = `"partiel_Mathsdis_S1_juin 2009.aux"'.
775
776 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 28.
777 LaTeX Font Info:    ... okay on input line 28.
778 LaTeX Font Info:    Checking defaults for T1/lmr/m/n on input line 28.
779 LaTeX Font Info:    Try loading font information for T1+lmr on input line 28.
780  (/usr/share/texmf/tex/latex/lm/t1lmr.fd
781 File: t1lmr.fd 2007/01/14 v1.3 Font defs for Latin Modern
782 )
783 LaTeX Font Info:    ... okay on input line 28.
784 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 28.
785 LaTeX Font Info:    ... okay on input line 28.
786 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 28.
787 LaTeX Font Info:    ... okay on input line 28.
788 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 28.
789 LaTeX Font Info:    ... okay on input line 28.
790 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 28.
791 LaTeX Font Info:    ... okay on input line 28.
792 LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 28.
793 LaTeX Font Info:    Try loading font information for TS1+cmr on input line 28.
794
795 (/usr/share/texmf-texlive/tex/latex/base/ts1cmr.fd
796 File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
797 )
798 LaTeX Font Info:    ... okay on input line 28.
799 LaTeX Font Info:    Try loading font information for OT1+ptm on input line 28.
800
801 (/usr/share/texmf-texlive/tex/latex/psnfss/ot1ptm.fd
802 File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
803 )
804 -------------------- Geometry parameters
805 paper: a4paper
806 landscape: --
807 twocolumn: --
808 twoside: --
809 asymmetric: --
810 h-parts: 42.67912pt, 512.14963pt, 42.67912pt
811 v-parts: 42.67912pt, 759.6886pt, 42.67912pt
812 hmarginratio: --
813 vmarginratio: --
814 lines: --
815 heightrounded: --
816 bindingoffset: 0.0pt
817 truedimen: --
818 includehead: --
819 includefoot: --
820 includemp: --
821 driver: 
822 -------------------- Page layout dimensions and switches
823 \paperwidth  597.50787pt
824 \paperheight 845.04684pt
825 \textwidth  512.14963pt
826 \textheight 759.6886pt
827 \oddsidemargin  -29.59087pt
828 \evensidemargin -29.59087pt
829 \topmargin  -66.59087pt
830 \headheight 12.0pt
831 \headsep    25.0pt
832 \footskip   30.0pt
833 \marginparwidth 57.81621pt
834 \marginparsep   10.0pt
835 \columnsep  10.0pt
836 \skip\footins  10.8pt plus 4.0pt minus 2.0pt
837 \hoffset 0.0pt
838 \voffset 0.0pt
839 \mag 1000
840
841 (1in=72.27pt, 1cm=28.45pt)
842 -----------------------
843 LaTeX Info: Redefining \dots on input line 28.
844 LaTeX Font Info:    Try loading font information for U+msa on input line 29.
845
846 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd
847 File: umsa.fd 2002/01/19 v2.2g AMS font definitions
848 )
849 LaTeX Font Info:    Try loading font information for U+msb on input line 29.
850
851 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd
852 File: umsb.fd 2002/01/19 v2.2g AMS font definitions
853 )
854 LaTeX Font Info:    Try loading font information for U+dsrom on input line 49.
855
856 (/usr/share/texmf-texlive/tex/latex/doublestroke/Udsrom.fd
857 File: Udsrom.fd 1995/08/01 v0.1 Double stroke roman font definitions
858 ) [1
859
860 ] [2] [3]
861 [4]
862 LaTeX Font Info:    Try loading font information for OMS+ptm on input line 379.
863
864  (/usr/share/texmf-texlive/tex/latex/psnfss/omsptm.fd
865 File: omsptm.fd 
866 )
867 LaTeX Font Info:    Font shape `OMS/ptm/m/n' in size <12> not available
868 (Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 379.
869  [5]
870 \tf@thm=\write5
871 \openout5 = `"partiel_Mathsdis_S1_juin 2009.thm"'.
872
873  [6]
874 (./partiel_Mathsdis_S1_juin 2009.aux) ) 
875 Here is how much of TeX's memory you used:
876  6189 strings out of 95064
877  78360 string characters out of 1182632
878  169551 words of memory out of 1500000
879  9196 multiletter control sequences out of 10000+50000
880  17406 words of font info for 53 fonts, out of 1200000 for 2000
881  28 hyphenation exceptions out of 8191
882  39i,6n,64p,331b,358s stack positions out of 5000i,500n,6000p,200000b,5000s
883
884 Output written on "partiel_Mathsdis_S1_juin 2009.dvi" (6 pages, 63208 bytes).